1. Algorithmic logic /
پدیدآورنده : G. Mirkowska and A. Salwicki
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms,Formal languages,Logic, Symbolic and mathematical
رده :
QA267
.
3
.
M57
1987